Marking Estimation of Petri Nets based on Partial Observation
نویسندگان
چکیده
We present a technique for estimating the marking of a Petri net based on the observation of transition labels. In particular, the main contribution of the paper consists in deriving a methodology that can handle the case of nondeterministic transitions, i.e., transitions that share the same label. Under some technical assumptions, the set of markings consistent with an observation can be represented by a linear system with a fixed structure that does not depend on the length of the observed word. The validity of the proposed methodology is illustrated in detail through a numerical example.
منابع مشابه
Observation Equivalence of Petri Net Generators
In the framework of discrete event systems, the observation of events is considered as outputs in most problem settings, such as state estimation and fault diagnosis, while only a few studies exploit the availability of partial state information. In this paper, equivalent relations between Petri nets with different observation structures, i.e., Petri net generators, are discussed. We focus on a...
متن کاملMarking Estimation of Petri Nets with Λ-free Labeling
We present a technique for estimating the marking of a Petri net based on the observation of transition labels. In particular, the main contribution of the paper consists in deriving a methodology that can handle the case of nondeterministic transitions, i.e., transitions that share the same label. Under some technical assumptions, the set of markings consistent with an observation can be repre...
متن کاملMarking estimation of Petri nets with pairs of nondeterministic transitions∗
We present a technique for estimating the marking of a Petri net based on the observation of transition labels. In particular, the main contribution of the paper consists in deriving a methodology that can handle the case of nondeterministic transitions, i.e., transitions that share the same label. Under some technical assumptions, the set of markings consistent with an observation can be repre...
متن کاملFiring Sequences Estimation for Timed Petri Nets
This work deals with the firing sequences estimation for transitions timed Petri nets by measurement of the places marking. Firing durations are unknown, but supposed not to be null. In fact, the Petri net marking is measured, on line, with a sampling period ∆t small enough such that each transition is fired, at the most, one time during ∆t. The estimation problem has exact and approximated sol...
متن کاملControl of Distributed Discrete Event Systems Modeled as Petri Nets
This paper develops a distributed control for forbidden state avoidance for discrete event systems which are mod-eled as Petri nets. We consider a class of Petri nets controlled by multiple local controllers, each of which has partial observation of the system states and limited control to the system. The local controllers interact through a communication channel to achieve a control that ensur...
متن کامل